Verbum

ПРОЦІЛЕ́ГЛАЯ ТЭАРЭ́МА,

тэарэма, якая атрымліваецца заменай умовы і высновы дадзенай зыходнай (прамой) тэарэмы на іх адмаўленні. Напр., для тэарэмы «калі ў чатырохвугольніку сума процілеглых вуглоў роўная 180°, то вакол гэтага чатырохвугольніка можна апісаць акружнасць» П.т. будзе «калі ў чатырохвугольніку сума процілеглых вуглоў не роўная 180°, то вакол гэтага чатырохвугольніка нельга апісаць акружнасць». П.т. раўнасільная. адваротнай тэарэме.

т. 13, с. 44